<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
    "../DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <title>Groebner bases using unique factorization</title>
  </head>

  <body>
    <h1>Groebner bases using unique factorization package.</h1>

<p>
  This package contains classes for polynomial pseudo reduction and
  Groebner bases using pseudo reduction
  <code>GroebnerBasePseudoSeq</code> and
  <code>GroebnerBasePseudoRecSeq</code>.  
  Groebner bases for polynomial rings over regular rings (direct
  products of fields or integral domains) are implemented in
  <code>RGroebnerBaseSeq</code> and
  <code>RGroebnerBasePseudoSeq</code>.
</p>


    <hr />
    <address><a href="mailto:kredel at rz.uni-mannheim.de">Heinz Kredel</a></address>
<p>
<!-- Created: Thu Dec 23 22:18:43 CET 2010 -->
<!-- hhmts start -->
Last modified: Fri Dec 24 15:00:40 CET 2010
<!-- hhmts end -->
</p>
<p>$Id$ 
</p>
  </body>
</html>
